$\forall$$l$:IdLnk, ${\it dt}$:${\it tg}$:Id fp$\rightarrow$ Type, $a$:Id. locl($a$) $\in$ dom(lnk{-}decl($l$;${\it dt}$)) $\sim$ false$_{2}$